Semi-Inflationary DATALOG: A declarative database language with procedural features
نویسندگان
چکیده
This paper presents a rule-based database language which extends stratified DATALOG by adding a controlled form of inflationary fixpoint, immersed in a context of classical stratified negation with least fixpoint. The proposed language, called Semi-Inflationary DATALOG (DATALOG for short), smoothly combines the declarative purity of stratified negation with the procedural style of the inflationary fixpoint,
منابع مشابه
Datalog and Logic Databases
In relational databases, datalog is an important attribute which helps to develop declarative queries. It is certainly the prolog that contributes this non procedural language. Datalog offers more than query languages with its recursion feature. Realizing its potential the authors in the book on Datalog and Logic Databases have presented a logical flow of datalog and logical databases with the ...
متن کاملUpdates by Reasoning about States Updates by Reasoning about States *
We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...
متن کاملSoundcheck for SQL
The lion's share of datalog features have been incorporated into the SQL3 standard proposal. However, most SQL manuals still recommend to implement user-de ned conditions for data integrity nondeclaratively, by triggers or stored procedures. We describe how to implement known declarative database technology for integrity checking in SQL databases. We show how to represent and evaluate arbitrari...
متن کاملMain Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates
Object-oriented DBMSs (OODBs) have created a demand for relationally complete, extensible, and declarative object-oriented (OO) query languages. Until now, run time performance of such languages was far behind that of procedural OO interfaces. One reason is the internal use of a relational engine with magnetic disk resident databases. We address the processing of the declarative OO language WS-...
متن کاملThe Glue - Nail Deductive Database System
We describe the design and implementation of the Glue-Nail deductive database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities. The two languages combined are suucient to write a complete application. Nail and Glue code are both compiled into the target language IGlue. The Nail compiler uses variants of the magic sets algorithm and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- AI Commun.
دوره 18 شماره
صفحات -
تاریخ انتشار 2005